Feeds to Scour
SubscribedAll
Scoured 8975 posts in 68.2 ms
Testing software in the era of coding agents
garymm.org·3h·
Discuss: Hacker News
🧪Concolic Testing
Practical Refinement Session Type Inference (Extended Version)
arxiv.org·14h
🔍Type Inference
Common Manual Testing Techniques and The Future Of Manual Testing in the age of AI
dev.to·2d·
Discuss: DEV
🧪Concolic Testing
A Note on Flat Abstract Syntax Trees
gist.github.com·39m·
Discuss: Hacker News
🧩Parser Combinators
Full-circle Test-driven Firmware Development with OpenClaw
blog.adafruit.com·2d·
Discuss: Hacker News
🧪Concolic Testing
Scaling Mobile Chaos Testing with AI-Driven Test Execution
arxiv.org·14h
🧪Concolic Testing
Show HN: C-CMCP – Validated AI development workflow with quality gates
news.ycombinator.com·3h·
Discuss: Hacker News
🧠Automated Reasoning
Testing 80 LLMs on spatial reasoning on grids
mihai.page·19h·
Discuss: Hacker News
🎮Verification Games
A Language For Agents
lucumr.pocoo.org·19h·
Discuss: Lobsters, Hacker News
🔤Language Design
Learning by hand is better than learning by AI
blog.engora.com·39m·
Discuss: Hacker News
📚Automata Learning
What if writing tests was a joyful experience?
blog.janestreet.com·3d·
Discuss: Hacker News
🧪Concolic Testing
creact-labs/creact: CReact is a meta-runtime for building domain-specific, reactive execution engines.
github.com·1d·
Discuss: r/node, r/reactjs
🔧ppx
amirouche/seed: Adding `vau` with an immutable dynamic environment to Chez Scheme
github.com·3h·
Discuss: Hacker News
🐫OCaml
A one-prompt attack that breaks LLM safety alignment
microsoft.com·1h·
Discuss: Hacker News
🛡️seL4
Manufacturing QMS Software
samrian.com·3h·
Discuss: Hacker News
🔬Reverse Engineering
How AI coding makes developers 56% faster and 19% slower
thenewstack.io·7h
🔧DevOps
Building Reliable AI Applications: A Validation Strategy
dev.to·1d·
Discuss: DEV
🔀Brzozowski Derivatives
Show HN: ShapeGuard – Shape Contracts for NumPy and Jax
news.ycombinator.com·14h·
Discuss: Hacker News
🔢Algebraic Data Types
Have I hardened against LLMs?
baldurbjarnason.com·7h·
Discuss: Hacker News
🔍Formal Verification
Your VCL App: 4x to 11x Faster Math Performance with Elements
blogs.remobjects.com·4h·
Discuss: Hacker News
🐫Embedded OCaml

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help